extensionPrefs: Work around xgettext bug

xgettext is thrown off by the combination of backticks and slashes,
which makes template string a fun trap to fall into. Just use
String.format() for now ...

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/383

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index cb7d9edd678a5271cffa4a758284e16864568e27..bfa820b599851eaf3e7a1ca65cf6ba37f9a67488 100644 (file)
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -118,7 +118,7 @@ var Application = class {
         scroll.add(box);
 
         let label = new Gtk.Label({
-            label: `<span size="x-large">${_("Something’s gone wrong")}</span>`,
+            label: '<span size="x-large">%s</span>'.format(_("Something’s gone wrong")),
             use_markup: true
         });
         label.get_style_context().add_class(Gtk.STYLE_CLASS_DIM_LABEL);